package tools;

public enum FragmentState {
	Referenced,
	NoSatisfiedPreconditions,
	Satisfied,
	Included,
	Challenger,
	Concurrency,
	Error
};
